type Foo[T = str] = Bar[T]